1לישנא מעליא נקט. וק"ק וכי משום לישנא מעליא שם התנא חשך לאור. ותי' הראב"ד דמש"ה נקט אור לומר שבתחלת הלילה שיש בו אור עדיין ראוי לבדוק כדי שלא יתרשל או שלא ישכח וכיון דאותה שעה קושטא שיש בה אור תנא אור וכו'. וא"ת ה"ל למיתני בתחלת ליל י"ד בודקין את החמץ וע"ז שפיר קאמר תנא אור משום לישנא מעליא:2מובטח אני בזה. שאמר ואין מוסקין בטהרה ואע"ג דאידך נקט לשון קצרה אפ"ה לא מתרץ לישנא דאמר ומוסקין בטומאה. הר"ן. ומהרש"א תי' דעל הראשון אף שהיה אומר ואין מוסקין בטהרה איכא למימר שלא נתכוין אלא דרך הזדמנות נפל בפיו. משא"כ על השני שראה בו דבר חכמה ששינה בכיון ודו"ק:3וכי תימא זריזין מקדימין למצות דכתיב ביום השמיני ימול בשר ערלתו מלמד כו' שנא' וישכם אברהם בבוקר נבדוק מצפרא. כ"ה גי' הרי"ף ולפי גירסא זו מיושב קושיות תוס' עי' מהרש"א: